Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
Lire la suiteThis book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
Lire la suiteThis is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Lire la suiteThis volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Lire la suiteThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Lire la suiteThis work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Lire la suiteThese proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lire la suiteThis volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Lire la suiteDynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family ...
Lire la suiteThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lire la suiteThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lire la suiteThis volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
Lire la suite